ارائه یک روش بهینه برای ایجاد نمودارهای تصمیم گیری دودویی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
- نویسنده علی تاری نژاد
- استاد راهنما جابر کریم پور شهریار لطفی
- سال انتشار 1391
چکیده
یکی از مسائل اصلی در وارسی سیستم های کامپیوتری، ساخت فضای حالت به صورت یک ساختار مبتنی بر حالت ها مانند ساختار کریپکی است. ابزارهای ارائه شده در بررسی مدل دارای مشکلات انفجار تعداد حالات در فضای حالت سیستم های بزرگ هستند. برای حل این مشکل، تاکنون روش های زیادی ارائه شده است، با این وجود، در سیستم های بزرگ ساخت کل فضای حالت ممکن نیست. برای رهایی از این مشکل، روش های نمادین مانند نمودار های تصمیم دودویی ارائه شده اند. نمودار های تصمیم دودویی توسط مک میلیان، هنریک ریف آندرسن و کلارک ارائه شده است و آنها معتقدند با استفاده از این نمودارها می توان سیستمی با 1019 حالت را شبیه سازی و فضای حالت آن را ایجاد کرد. در این پایان نامه از نمودارهای تصمیم دودویی برای وارسی سیستم های بزرگ نرم افزاری استفاده شده است. به این منظور با استفاده از روش هرس کردن یک نمودار تصمیم دودویی بهینه به دست می آید. به این ترتیب به جای ساخت کل نمودار در حافظه کامپیوتر، برحسب نیاز قسمتی از نمودار در حافظه کامپیوتر ایجاد می گردد. قابلیت روش ارائه شده با استفاده از مثال های متعدد مورد ارزیابی و بررسی قرارگرفت. نتایج نشان می دهند این روش می تواند برای مثال های واقعی با ابعاد بزرگ مورد استفاده قرار گیرد. استفاده از این روش حجم حافظه مورد نیاز و زمان انجام محاسبات را تا حد زیادی کاهش می دهد.
منابع مشابه
بررسی رابطه بین فرهنگ سازمانی و سبک تصمیم گیری و ارائه یک الگوی بهینه
تصمیم گیری در فرهن گهای سازمانی مختلف می باشد، سوال اصلی این پژوهش این است که آیا بین بکارگیری سب کهای مختلفتصمیم گیری با توجه به نوع فرهنگ سازمانی در جهت اثربخشی سازمان رابطه ای وجود دارد و اگر پاسخ مثبت است چه مدلی می توانداین روابط را نشان دهد؟ و آیا مدل مزبور در جامعه آماری مورد بررسی نیز به همان شکل کاربرد دارد؟بررسی های انجام شده بر روی 61 سازمان مورد بررسی در استان خراسان رضوی بیانگر وجو...
متن کاملایجاد پایگاه داده تحلیلی بر اساس یک روش تصمیم گیری چند معیاره فازی
افزایش در تعداد سازمانهایی که به منظور دستیابی به مزایای کسب وکار درصدد ایجاد پایگاه داده تحلیلی می باشند، منجر به نیاز به رویکردی برای تصمیم گیری در ایجاد پایگاه داده تحلیلی شده است. مدلهای رابطه ای، چندبعدی و برگه ای طیف گسترده ای از تحلیل ها را پشتیبانی می کنند. متفاوت بودن مشخصات هر یک از مدلها ، فرآیند تصمیم گیری برای انتخاب مدل پایگاه داده تحلیلی را دشوار کرده است. یکی از دلایل عدم موفقیت...
متن کاملطراحی یک سیستم پشتیبان تصمیم گیری برای ارزیابی مشتریان
در این مقاله یک سیستم پشتیبان تصمیم گیری جهت ارزیابی مشتریان ارائه می شود. این سیستم به خصوص می تواند در شرکت های انحصاری کاربرد داشته باشد. این مقاله توسعه یافته پژوهش چامودراکاس و همکاران است که در آن صرفا بر اساس یک مدل تاپسیس فازی ارزیابی و انتخاب مشتریان صورت گرفته است. مدل پیشنهادی شامل 6 روش مختلف است که کاربر می تواند به دلخواه از بین آنها یکی یا ترکیبی را انتخاب کند. سیستم نرم افزاری م...
متن کاملبررسی روش های بهسازی تصمیم گیری برای انتخاب مدیران
انتخاب صحیح مدیران یکی از مؤلفه های مهم برای دستیابی به موفقیت های سازمانی است. روشها و امکانات متعددی برای انتخاب و گماردن آنها بر مشاغل مرتبط وجود دارد. به منظور دستیابی آسانتر به اهداف پژوهش از میان ۲۰۰۰ مدیر میانی و عملیاتی در یک شرکت دولتی، نمونه آماری ۱۰۴ نفری انتخاب گردیده است. در راستای نظرسنجی از افراد، استفاده از شش پرسشنامه بومی شده با نام های حوزه علایق ، ارزش های محیط کار ، فعالیت ...
متن کاملمدیریت بهینه رواناب شهری با بهره گیری از روش تصمیم گیری چندمعیاره مکانی
مدیریت آب در مناطق شهری شامل کنترل جریان هرزاب ها و اصلاح شبکه های زهکشی است. رشد سریع شهرها به همراه افزایش جمعیت آن، مشکلات زیادی را در زمینه مدیریت رواناب در هنگام رخدادهای سیلابی به همراه دارد. در این راستا، نقشه هایی که میزان پتانسیل سیل گیری مناطق مختلف را نشان می دهند، می توانند ابزار مناسبی برای برنامه ریزی های شهری در آینده باشند. تحلیل آسیب پذیری در مناطق مختلف محیط های شهری، اغلب شام...
متن کاملارائه مدلی برای انتخاب روش استخراج آنومالی شماره سه گل گهر با استفاده از روش های تصمیم گیری چند معیاره
یکی از مهمترین مراحل در عملیات معدنکاری، انتخاب روش استخراج مناسب برای منبع معدنی است. فرایند انتخاب روش معدنکاری برای استخراج منابع معدنی، Mining Method Selection (MMS) نامیده می شود. بعد از انجام فرایند MMS و انتخاب روش معدنکاری معمولاً جایگزینی آن با روش دیگر امکان پذیر نیست، زیرا این کار ممکن است آنقدر هزینه بر باشد که کل پروژه را از لحاظ اقتصادی غیرممکن سازد. بنابراین MMS یک فرایند تقریباً ب...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023